define fact 
proc(m)
  i := 1;
  return := i
end;
define main
proc(l)
  n := 5;
  s := fact(n)
end
